Leslie Lamport
Leslie Lamport (* 7. Februar 1941 in New York)[1] ist ein US-amerikanischer Mathematiker, Informatiker und Programmierer. 2013 erhielt er den Turing Award für seine Beiträge zur Theorie und Praxis verteilter und nebenläufiger Systeme.
Leben
[Bearbeiten | Quelltext bearbeiten]Lamport schloss 1960 am Massachusetts Institute of Technology mit dem Bachelor in Mathematik ab. 1962 bis 1965 arbeitete er in Teilzeit für die Mitre Corporation. 1963 erlangte er an der Brandeis University zunächst einen MA-Abschluss (Master of Arts) und wurde 1972 bei Richard Palais in Mathematik promoviert (The Analytic Cauchy Problem with Singular Data)[2]. Lamport war 1965 bis 1969 Professor für Mathematik am Marlboro College und arbeitete 1970 bis 1977 für Massachusetts Computer Associates. 1977 bis 1985 war er bei SRI International und 1985 bis 2001 bei der Digital Equipment Corporation/Compaq (als Senior Consulting Engineer). Seit 2001 arbeitet er für Microsoft Research.
Werk
[Bearbeiten | Quelltext bearbeiten]Lamport ist als Entwickler von LaTeX bekannt. In der Theoretischen Informatik hat er unter anderem in folgenden Bereichen geforscht:
- In der Formalen Semantik beschäftigte er sich mit Korrektheitsbeweisen für Parallele Algorithmen.
- Im Bereich Verteilte Systeme untersuchte er vor allem die Prozesssynchronisation (siehe auch Lamport-Uhr, Sequentielle Konsistenz, Schnappschussalgorithmus, Byzantinischer Fehler).
- In die Temporale Logik führte er die Temporale Logik der Aktionen (TLA) ein.
- In der Kryptologie entwickelte er 1979 zusammen mit Whitfield Diffie das Lamport-Einmal-Signaturverfahren.
Schriften
[Bearbeiten | Quelltext bearbeiten]- LaTeX: a document preparation system, Addison-Wesley 1986, 2. Auflage 1994
- Specifying systems: the TLA+ language and tools for hardware and software engineers, Addison-Wesley 2003
- Time, Clocks and the Ordering of Events in a Distributed System: Erstmals veröffentlicht in: Communications of the ACM 21, 7 (July 1978), S. 558–565. Neu aufgelegt u. a. in Distributed Computing: Concepts and Implementations, McEntire et al., ed. IEEE Press, 1984.
- The Writings of Leslie Lamport, kommentierte Liste der Veröffentlichungen von Leslie Lamport
Auszeichnungen
[Bearbeiten | Quelltext bearbeiten]- Mitglied der National Academy of Engineering (1991)
- PODC Influential Paper Award (2000, heute Dijkstra-Preis)
- Ehrendoktor, Universität Rennes 1 (2003)
- Ehrendoktor, Christian-Albrechts-Universität zu Kiel (2003)
- Ehrendoktor, École polytechnique fédérale de Lausanne (2004)
- Ehrendoktor, Università della Svizzera italiana, Lugano (2006)
- IEEE Emanuel R. Piore Award (2004)
- Dijkstra-Preis (2005)
- Ehrendoktor, Université Henri Poincaré, Nancy (2007)
- IEEE John-von-Neumann-Medaille (2008)
- Mitglied der National Academy of Sciences (2011)
- ACM A.M. Turing Award (2013)
- Dijkstra-Preis (2014)
- Mitglied der American Academy of Arts and Sciences (2014)
- Fellow des Computer History Museum (2019)
Weblinks
[Bearbeiten | Quelltext bearbeiten]- Leslie Lamports Home Page (englisch)
- Hall of Fame der University of Pittsburgh (englisch)
- Videos von und über Leslie Lamport im AV-Portal der Technischen Informationsbibliothek
Einzelnachweise
[Bearbeiten | Quelltext bearbeiten]- ↑ Lebensdaten nach American Men and Women of Science, Thomson Gale 2004
- ↑ Leslie Lamport im Mathematics Genealogy Project (englisch)
| Personendaten | |
|---|---|
| NAME | Lamport, Leslie |
| KURZBESCHREIBUNG | US-amerikanischer Mathematiker, Informatiker und Programmierer und Entwickler von LaTeX |
| GEBURTSDATUM | 7. Februar 1941 |
| GEBURTSORT | New York |
- Entwickler Freier Software
- TeX
- Informatiker
- Person (Microsoft)
- Träger des Turing Award
- Ehrendoktor der Christian-Albrechts-Universität zu Kiel
- Ehrendoktor der Universität der italienischen Schweiz
- Ehrendoktor der Universität Rennes 1
- Mitglied der National Academy of Engineering
- Mitglied der National Academy of Sciences
- Mitglied der American Academy of Arts and Sciences
- US-Amerikaner
- Geboren 1941
- Mann